Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
431	(Final) FFIEC101[removed]Published Validity Edits.xlsx Target Item SROFFR NM Add to Reading List Source URL: www.ffiec.gov Language: English - Date: 2011-06-14 08:49:55 Software engineering Design of experiments Hypothesis testing Statistical inference Null Statistical hypothesis testing Test Boolean data type C Computing Nothing Statistics
432	Static Dependent Types for First Class Modules Mark A. Sheldon and David K. Giord Laboratory for Computer Science Massachusetts Institute of Technology Abstract Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Type system Standard ML Subroutine Programming language Lambda calculus Type inference Abstraction System F Software engineering Computing Programming language theory
433	Algebraic Reconstruction of Types and Eects Pierre Jouvelot1 2 David K. Giord2 ; Ecole des Mines de Paris1 Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2013-07-14 14:56:24 Data types Functional programming Computing Program analysis Type system Vehicle Identification Number Monad Type inference Type theory Software engineering Programming language theory
434	Type inference through the analysis of Wikipedia links Andrea Giovanni Nuzzolese ISTC-CNR, STLab CS Dept., University of Bologna, Italy Add to Reading List Source URL: events.linkeddata.org Language: English - Date: 2012-03-28 08:52:48 Linked data YAGO Cyc Knowledge base DBpedia WordNet Ontology Web Ontology Language Typed link Semantic Web Information Computing
435	Type inference through the analysis of Wikipedia links Andrea Giovanni Nuzzolese [removed] Add to Reading List Source URL: events.linkeddata.org Language: English - Date: 2012-04-23 14:34:34 Artificial intelligence Ontology Web 2.0 Cyc DBpedia Resource K-nearest neighbor algorithm RDF Schema Nearest neighbour algorithm Semantic Web Computing World Wide Web
436	CONTAINS NONBINDING RECOMMENDATIONS # 137 Guidance for Industry Analytical Methods Description for Type C Medicated Feeds Add to Reading List Source URL: www.fda.gov Language: English Chromatography Separation processes Evaluation methods Statistical inference Laboratory techniques Gas chromatography Test method Statistical hypothesis testing Science Scientific method Chemistry
437	Microsoft PowerPoint - fuzzy.logic.session[removed]pptx Add to Reading List Source URL: www.cool-ai.com Language: English - Date: 2008-11-19 00:40:19 Artificial intelligence Logic in computer science Non-classical logic Tip Inference Fuzzy set Type-2 fuzzy sets and systems Logic Mathematical logic Fuzzy logic
438	Journal of Statistics Education, Volume 18, Number[removed]Random Numbers Demonstrate the Frequency of Type I Errors: Three Spreadsheets for Class Instruction Sean Duffy Rutgers University - Camden Add to Reading List Source URL: www.amstat.org Language: English - Date: 2010-07-22 20:20:00 Statistical tests Analysis of variance Statistical inference Multiple comparisons Statistical hypothesis testing Statistical power Data dredging Null hypothesis F-test Statistics Hypothesis testing Design of experiments
439	What is Needle? Needle is an object-oriented functional programming language with a multimethod-based OO system, and a static type system with parameterized types and substantial ML-style type inference. Add to Reading List Source URL: ll2.ai.mit.edu Language: English - Date: 2002-11-18 22:35:24 Data types Method Type theory Cross-platform software Object-oriented programming Multiple dispatch Type system Programming language C Software engineering Computing Computer programming
440	Sage: Unified Hybrid Checking for First-Class Types, General Refinement Types, and Dynamic (Extended Report) Kenneth Knowles† Aaron Tomb† Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-05-25 12:49:26 Programming language theory Data types Type systems Formal methods Object-oriented programming Type safety Subtype polymorphism Simply typed lambda calculus Type inference Software engineering Type theory Computing

UPDATE